Semantics for more plausible deontic logics

نویسنده

  • Sven Ove Hansson
چکیده

In order to avoid the paradoxes of standard deontic logic, we have to give up the semantic construction that identifies obligatory status with presence in all elements of a subset of the set of possible worlds. It is proposed that deontic logic should instead be based on a preference relation, according to the principle that whatever is better than something permitted is itself permitted. Close connections hold between the logical properties of a preference relation and those of the deontic logics that are derived from it in this way. The paradoxes of SDL can be avoided with this construction, but it is still an open question what type of preference relation is best suited to be used as a basis for deontic logic.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Action negation and alternative reductions for dynamic deontic logics

Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and ...

متن کامل

A Note for Discussion: Treating Disjunctive Obligation and Conjunctive Action in Event Semantics with Disquotation

Standard deontic logics are about what obtains in deontically ideal worlds. Deontic reasoning from the perspective of event semantics and the disquotation (ESD) theory, which we describe briefly, is about individual obligations, permissions, etc. in this, admittedly non-ideal world. Standard deontic logics are beset with a number of puzzling paradoxes and anomalies. Our suggestion here is that ...

متن کامل

Possible World Semantics for Defeasible Deontic Logic

Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible lo...

متن کامل

A Semantics for Logics of Preference Based on Possibility Theory

In this paper, we study the semantics for the logics of preference based on possibility theory. Possibility distributions representing the preference between worlds are associated with the possible world models for dynamic logics. Then the preference between actions are determined by comparing some measures of their consequences. We will define different logics of preference by considering the ...

متن کامل

On the possibility theory-based semantics for logics of preference

In this paper, we study the semantics for the logics of preference based on possibility theory. Possibility distributions representing the preference between worlds are associated with the possible world models for dynamic logics. Then the preference between actions are determined by comparing some measures of their consequences. We define different logics of preference by considering the compa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Applied Logic

دوره 2  شماره 

صفحات  -

تاریخ انتشار 2004